First published in 1969, this was a new assessment of Freud’s most creative years and the formative period in psychoanalysis and was the first book to attempt a systematic presentation of Freud’s early ideas, relating them to his later work and to contemporary psychoanalysis. During the years 1888-1898 Freud published 15 papers and one book. In addition many of his ideas were formulated in a series of letters and drafts that he wrote to Dr Wilhelm Fliess. This material provided new (...) insights into the nature of Freud’s creative genius and gave new meaning to his published works. Psychoanalysis: The First Ten Years reviews these early papers, drafts and letters, and describes tentative formulations that, in spite of their value, were not developed further because of lack of time or a shift in interest. As Dr Stewart observes, ‘the study of this aspect of Freud’s work is perhaps the most exciting. Freud’s creativity in these years was remarkable. The ideas he _discarded_ in this short period of time would, for a less gifted person, have been a full life’s work of which he could have been proud.’ There is a good deal of historical and literary interest in his account of Freud’s relationships with Fliess, Breuer and others, but the core of the book is the critical assessment and systematic presentation of Freud’s early major insights, which dramatically reveal a creative genius in the process of discovery. (shrink)

A decade on after it first published to international acclaim, the seminal Handbook of Organization Studies has been updated to capture exciting new developments in the field. Providing a retrospective and prospective overview of organization studies, this Handbook continues to challenge and inspire readers with its synthesis of knowledge and literature. As ever, contributions have been selected to reflect the diversity of the field. New chapters cover areas such as organizational change, knowledge management and organizational networks.

Animal and plant species exhibit an astonishing diversity of sexual systems, including environmental and genetic determinants of sex, with the latter including genetic material in the mitochondrial genome. In several hermaphroditic plants for example, sex is determined by an interaction between mitochondrial cytoplasmic male sterility (CMS) genes and nuclear restorer genes. Specifically, CMS involves aberrant mitochondrial genes that prevent pollen development and specific nuclear genes that restore it, leading to a mixture of female (male‐sterile) and hermaphroditic individuals in the population (...) (gynodioecy). Such a mitochondrial‐nuclear sex determination system is thought to be rare outside plants. Here, we present one possible case of CMS in animals. We hypothesize that the only exception to the strict maternal mtDNA inheritance in animals, the doubly uniparental inheritance (DUI) system in bivalves, might have originated as a mitochondrial‐nuclear sex‐determination system. We document and explore similarities that exist between DUI and CMS, and we propose various ways to test our hypothesis. (shrink)

In 1985, Swiss legal philosopher Walter Ott visited Herbert Hart in Oxford and made this record of their meeting, which casts novel light on some of Hart’s ideas. Ott engaged Hart in a fresh encounter with the legal philosophy of Gustav Radbruch, particularly Hart’s and Radbruch’s reasons for a minimum content of justice in law. They also discussed the grudge informer, state responsibility under laws of an earlier régime, and questions of the definition and falsifiability of legal theories. Hart (...) surprisingly reported Hans Kelsen as stating, when they had met at Berkeley in 1961, that Hume (and not Kant, and certainly not Wittgenstein) was the greatest philosopher who had ever lived. The translation is accompanied with annotations explaining references, assumptions and contexts. (shrink)

In this paper, we focus on whether and to what extent we judge that people are responsible for the consequences of their forgetfulness. We ran a series of behavioral studies to measure judgments of responsibility for the consequences of forgetfulness. Our results show that we are disposed to hold others responsible for some of their forgetfulness. The level of stress that the forgetful agent is under modulates judgments of responsibility, though the level of care that the agent exhibits toward performing (...) the forgotten action does not. We argue that this result has important implications for a long-running debate about the nature of responsible agency. (shrink)

Early modern debates about the nature of matter interacted with debates about whether matter could think. In particular, some philosophers (e.g., Cudworth and Leibniz) objected to materialism about the human mind on the grounds that matter is passive, thinking things are active, and one cannot make an active thing out of passive material. This paper begins by looking at two seventeenth-century materialist views (Hobbes’s, and one suggested but not endorsed by Locke) before considering that objection (which I call here the (...) Activity Argument). In discussion, I note that several philosophers of the time believed that matter was active. That view opens up a possible response to the Activity Argument. The paper concludes by looking at the views of two materialists of the time who also believed that matter was active, Toland and Cavendish. (shrink)

Jörgen Jörgensen (1938) asks why there should not be a valid deduction even though the premises are imperatives (“Jörgensen’s Dilemma”). Robert Walter (1996; 9 Ratio Juris 168), following Hans Kelsen, thinks that there can be a valid deduction if the premises, although in prescriptive (including imperative) language, are actually descriptions of prescriptions. It is suggested that Walter then has his own dilemma: the more possible it is, for such descriptions to be valid, the less likely it is, that (...) the prescriptions described are illogical; Walter’s Dilemma is a species of Jörgensen’s. (shrink)

Charles Chaplin, like Charles Dickens, knew the deep allegiance between theme and visual symbol, and the greatest popular genius of our century, when he began a film called Modern Times with a nondescript clockface upon which the second hand inexorably spins, negotiated this alliance between satiric narrative and its props with the bold assurance of the nineteenth-century master. To have seen Modern Times again for the first time in nearly a decade, as I did recently, after in the interval having (...) reread, taught, and written about Dickens' Hard Times, was to see Chaplin's masterpiece virtually for the first time—and to wonder anew at the critics. I will shortly return to the symbolic devices by which the pervasive motif of modern time is propped and propelled in both Chaplin's film and Dickens' novel, but it is important to question first why the very thirst for overt social satire which draws a certain kind of reader to Hard Times, often one who has little converse with the other and greater Dickens novels, tends to go bafflingly unsatisfied where Modern Times is concerned. In the most recent book-length study of Chaplin, by noted film historian Roger Manvell, we hear that "Though highly entertaining, Modern Times had little social comment and no political party implications whatsoever."1 To grieve over this would be like dying of thirst in a rainstorm. Although Walter Kerr, in his far more searching treatment of Chaplin in The Silent Clowns, observes "at least two dazzling opportunities for the ironic social comment" in the opening factory sequence, on the whole he decides that "Chaplin's true theme lies elsewhere and is much more personal."2 Yes and no; more than any other artistic predecessor, Dickens can help us see the deeply-rooted grip of industrial satire on the apparent discrete, episodic comedy of Modern Times. · 1. Roger Manvell, Chaplin , p. 143.· 2. Walter Kerr, The Silent Clowns , p. 357. Garrett Stewart, associate professor of English at the University of California, Santa Barbara, is the author of Dickens and the Trials of Imagination, Film on Film, and a book on the symbolism of death in modern British fiction, Point of Departure: The Death Scene since Dickens, as well as essays on film. He has contributed "Coppola's Conrad: The Repetitions of Complicity" to Critical Inquiry. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Interpretation is an institutional activity and that may be the most significant fact about it; we are, indeed, a profession, and as such we train students to think about literature in certain ways. Membership in the community is determined by how well one masters the rules of the game. These inescapable facts may be the source of our greatest problems—or their hidden solution. Stanley Fish champions the latter alternative, arguing, in his most recent book, that “the interpretive community” is the (...) ultimate principle of authority in criticism and is capable of resolving all the problems of interpretation.1 If we want to know what reading is, how texts achieve determinate meaning, what constitutes validity in interpretation, or how to resolve the “conflict of interpretations,” we must, Fish argues, focus on the community itself, for it is here alone that these matters are determined.Though he has had more than his share of professional attention, having developed this argument makes Fish’s work worthy of further consideration. He quite simply presents the best picture we are likely to get of the “mind” of the profession, and, in treating him at length here, I am primarily concerned with his representative status. His great achievement is to have articulated the assumptions and beliefs underlying the practices that are favored in our profession: the tacit theoretical position composed of ideas and commonplaces that are so deeply held and constantly in use that they “prestructure” both our dealings with literature and our debates over those dealings. While remaining for the most part “unconscious,” these ideas nevertheless function as self-evident and unassailable truths. If we are to move, as I think we must, toward experiencing a crisis in our discipline, we first have to know where we are. And for that, Fish is invaluable because he has set out to become the official spokesman and efender of the profession. Walter A. Davis, associate professor of English at the Ohio State University, is the author of The Act of Interpretation: A Critique of Literary Reason. The present essay is from a recently completed work on contemporary criticism. He is currently writing a book on modern American drama. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Fish has always been adept at revising his position to incorporate what he’s learned from his critics while repaying the favor by assigning them a position they never took. The latter practice naturally helps conceal the borrowings, but as Fish’s position evolves it becomes progressively difficult to determine who is the author of his essays. I am, of course, gratified to see how much Fish has learned from me. It is salutary to find that Fish is finally just a humble (...) historian working with others at “recovering a system of thought and feeling” that will enable us to establish the historical context of Milton’s most probable intentions and realizing, as many historians of literature don’t, that we can only do so by bringing concepts provided by literary theory—form, function, artistic purpose, and so forth—to bear on the mass of historical materials at our disposal.3 It is also gratifying to see that Fish has discovered the law of context and now realizes that there are no local matters. Had he discovered that earlier, we’d have been spared Aunt Tilly and the discussion of Mr. Collins—as well as the general notion extrapolated from those examples that anything a sizable group decides to do will fly since nothing else constraints interpretation. We’d also have been spared the concepts of reading and affective criticism presented in Fish’s early work and the unchecked linguistic hijinks used to sustain those readings. I derive my deepest pleasure, however, from finding that Fish has finally discovered the conflict of interpretations proper and its primacy—“the resistance offered by one interpretively produced shape to the production of another” —though I must sadly abridge this progress report by noting that he finds himself powerless to do anything with this recognition. That is as it must be, for the most interesting thing about Fish’s borrowings is where he stops—and why he has to. Having let me write the first 5 ½ pages of his reply, he suddenly stops taking dictation so that he can simply reassert, in all its abstract glory, his tried-and-true resolution of all interpretive controversy by community interest. Had he read further, he would have discovered that a good deal more emerges if one attempts to preserve and deal with the conflict of interpretations rather than to do away with it. He would even have discovered my epistemology and would have learned the main lesson—that his position is not an alternative to mine but an early moment it contains and sublates in a larger context.Have taught Fish so much, I found myself, instead, poorly repaid by the position he foists upon me. Constantly caught up in an effort to reiterate the dichotomy on which his entire theorizing depends, Fish’s fixed need is to rework all disputes into an opposition between the party of independent fact-disinterested reason and the party of interest so that he might triumphantly resolve all difficulties by once again discovering the simple fact of interests. Lest this strategy hide behind a common misconception, our debate is not a case where distinct frameworks are simply misreading one another, as they must, but one where one framework must deliberately and seriously misread others since it has no other way to sustain itself. If the account Fish gives of my argument is the way things must look from his framework, all that this fact signifies is the paucity of his framework and its inability to achieve even minimal descriptive adequacy. 3. But even here things are a good deal more complex than Fish imagines. For a good statement of the logic and problems of historical interpretation, see Robert Marsh, “Historical Interpretation and the History of Criticism,” in Literary Criticism and Historical Understanding, ed. Philip Damon , pp. 1-24. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Context: Most constructivist discourse is situated at the philosophical-conceptual level, where arguments appeal to the intuition of the reader, while formal-computational models have only been taken into account to a very limited degree so far. Problem: Two types of problems need to be addressed: Synthetically, can constructivist concepts be turned into actual computational implementations? Can these be further conceptual developments in constructivist theory as such, or are they just an application thereof? Conceptually, does the notion of computation square with constructivist (...) approaches at all? Method: Paradigmatically, we discuss the meaning of “computational” in cognitive agents that comply with constructivist concepts. Also, we summarize the contributions. Results: From a constructivist point of view, the concept of “computational model” is ambiguous and depends on whether it is used in the sense of the computational(ist) theory of mind or simply as a tool. Implications: The insights presented in the contributions to this special issue point in the direction of a computational extension of constructivist approaches as well as a constructivist extension to computational approaches. However, while many of the questions we posed were discussed in the contributions and open peer commentaries, some of them were largely neglected and thus are subject to further discussion. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

Attempts to comprehend the traumatic significance of Hiroshima in order to construct a new theory of history.

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would (...) be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We then call the problem of quantificationa2 completeness in m-valued logic the (...) problem of characterizing which are the quantifiers in a given language which can generate all other quantifiers in this language, using the connectives, as is the case, for example, of the universal and exis- tential quantifiers in classical logic, using negation. We are interested, in particular, in those many-valued quantifiers which closely mimic the behavior of existential an universal quantifiers in generating all other quantifiers using negation: these I call perfect quantifiers, as defined below. The main result of this paper is the characterization of all perfect quantifiers in 3-valued logics, which are complete if the logic is functionally complete. As a byproduct, we obtain the same result for the classical logic, which we include mainly for motivation. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our (...) framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Decision-Making as a Broader ConceptJacinta O. A. Tan (bio), Anne Stewart (bio), and Tony Hope (bio)KeywordsCompetence, decision-making, capacity, anorexia nervosa, autonomy, values, identityWe thank Demian Whiting for the thoughtful critique of aspects of our paper (Tan et al. 2006a). A primary aim of our research was to provide empirical grounds on which to stimulate discussion about the nature of decision-making capacity (DMC). Whiting criticizes in particular the concept (...) of 'pathological values' that we suggested might be relevant in the assessment of DMC and in the related issue of deciding when a patient's refusal of beneficial treatment should be overridden.Whiting's central concern is with DMC. Whiting argues that the absence of pathological values should not be a criterion for DMC. We are unclear whether he is also arguing that pathological values do not provide a reason of any kind for overriding treatment refusal. At the end of the paper he writes: "we cannot justify compulsory treatment of patients who have pathological values... on the grounds that these patients lack DMC" (2009, XX). This seems to leave open the possibility that we may be able to justify compulsory treatment of patients who have pathological values on grounds other than that they lack DMC. As we wrote in our response to the discussants of our original paper, "The primary issue for us is whether the reasons for refusal to which we draw attention provide grounds for overriding refusal, and if they do how they can be characterized in such a way as to avoid the ever-present danger of simply overriding autonomy in a patient's best interests" (Tan et al. 2006b, 300).In deciding on whether to use compulsory treatment, there are other relevant factors that may need to be considered, such as the seriousness of the decision, which determines the threshold for competence. However, in this response we consider three issues. First, we argue that the current concept of DMC is by no means so clear cut or generally agreed upon as Whiting implies, and that some of the lack of clarity relates to pathological values. Second, that the concept of DMC is itself dependent on accounts of autonomy, and that it is plausible that pathological values can affect autonomy. Third, we directly consider the question of whether a coherent account of pathological values might be given based on a concept of authenticity.The Current Criteria for DMCWhiting argues that the current criteria for DMC are correct and that an additional criterion along the lines of absence of pathological values should not be added. This argument assumes that there is a clear and agreed understanding of the current criteria. We believe this is not the case for three reasons.(i) Whiting begins his account of DMC by saying that it is normally taken to include: "(1) [End Page 345] understanding (and appreciation)" (2009, 341). Already there is an area of dispute, and the use of parentheses reflects this. The concept of 'appreciation' was developed by Grisso and Applebaum (Grisso, Appelbaum, and Hill-Fotouhi 1997). It is not included in either English common law development, for example (ReC), nor in the criteria specified in the Mental Capacity Act 2005. More important, Grisso and Appelbaum in their comment on our original paper (2006) argue that our work advances thinking about 'appreciation' rather than requiring that we add new elements. The implication is that they believe that what we have called pathological values are relevant to the assessment of capacity and are already included in an account of capacity that incorporates the criterion of 'appreciation.' In our response, we argued that pathological values are not entirely captured within the account of appreciation that Grisso and Appelbaum had previously given. We do not want to revisit that issue here, but the point of relevance is that on one view (that of Grisso and Appelbaum) pathological values are already included in the current criteria for DMC as part of the concept of appreciation, whereas on Whiting's view they are not.(ii) Even if there were agreement over the wording and concepts relevant to DMC there is a further important issue: how are those concepts... (shrink)

This paper introduces the notions of perfect quantifiers in general many-valued logics and investigates the problem of quantificational completeness for such logics as well as the problem of characterizing all perfect quantifiers in 3-valued logics using techniques of combinatorial group theory.